Towards Detecting Inconsistencies in End-to-end Generated TODs
面向端到端生成任务型对话的不一致性检测
🧭 约束满足问题用于对话一致性检测
Fondazione Bruno Kessler
将任务型对话建模为约束满足问题，利用CSP求解器自动检测不一致并建议最小修复
📌 工作参考价值（4 点）
- 在电商对话助手的商品推荐、订单查询等场景中，将商品属性（价格、库存、类别）和对话约束（用户偏好）转化为CSP变量与约束，对LLM生成的回复进行事后校验，捕捉幻觉（如推荐不存在的商品、价格矛盾）。
- 可集成到对话系统的后处理管道中，作为一道安全网：给定知识库和对话历史，自动识别不一致的片段并建议最小修改（例如替换错误实体），提升系统可靠性和可解释性，无需额外训练。
- CSP建模方式灵活性高，可适应不同领域的约束，例如餐厅预订的日期、人数、位置限制，或电商物流的地址、配送范围等，适合多域对话系统的质量保障。
- 对话轨迹与有效变量赋值的对比可生成诊断信息，辅助人工审核或在线修复，降低高风险场景（如支付、预约）的业务故障率。